theorem proving

Sens de "theorem proving" dans le Dictionnaire Espagnol-Anglais : 1 résultat(s)

	Catégorie	Anglais	Espagnol
Engineering
1	Engineering	theorem proving	demostración de teorema

Sens de "theorem proving" avec d'autres termes dans le Dictionnaire Anglais-Espagnol : 2 résultat(s)

	Catégorie	Anglais	Espagnol
General
1	General	automatic theorem proving	demostración automática de teoremas [f]
Engineering
2	Engineering	theorem-proving	demostración de teoremas